Infinity of intermediate states is decidable for Petri netsWIMMEL, Harro.Lecture notes in computer science. 2004, pp 426-434, issn 0302-9743, isbn 3-540-22236-7, 9 p.Conference Paper

Reachable set of open quantum dynamics for a single spin in Markovian environmentHAIDONG YUAN.Automatica (Oxford). 2013, Vol 49, Num 4, pp 955-959, issn 0005-1098, 5 p.Article

Reachability Properties of Continuous-Time Positive SystemsVALCHER, Maria Elena.IEEE transactions on automatic control. 2009, Vol 54, Num 7, pp 1586-1590, issn 0018-9286, 5 p.Article

On the reachable set for third-order linear discrete-time systems with positive controlBENVENUTI, Luca.Systems & control letters. 2011, Vol 60, Num 9, pp 690-698, issn 0167-6911, 9 p.Article

Ullrich conditions and smoothness of reachable states of a rotating beamSKLYAR, G. M; WOZNIAK, J.Journal of mathematical analysis and applications. 2009, Vol 354, Num 1, pp 31-45, issn 0022-247X, 15 p.Article

Reachability analysis in boxed ambientsBUSI, Nadia; ZAVATTARO, Gianluigi.Lecture notes in computer science. 2005, pp 143-159, issn 0302-9743, isbn 3-540-29106-7, 1Vol, 17 p.Conference Paper

FAST : acceleration from theory to practiceBARDIN, Sébastien; FINKEL, Alain; LEROUX, Jerome et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 5, pp 401-424, issn 1433-2779, 24 p.Article

Asymptotic orders of reachability in perturbed linear systemsOZVEREN, C. M; VERGHESE, G. C; WILLSKY, A. S et al.IEEE transactions on automatic control. 1988, Vol 33, Num 10, pp 915-923, issn 0018-9286Article

Bounds on the reachable sets of nonlinear control systemsSCOTT, Joseph K; BARTON, Paul I.Automatica (Oxford). 2013, Vol 49, Num 1, pp 93-100, issn 0005-1098, 8 p.Article

Feedback-reversibility and reachability of linear impulsive systemsMEDINA, Enrique A; LAWRENCE, Douglas A.Automatica (Oxford). 2010, Vol 46, Num 6, pp 1101-1106, issn 0005-1098, 6 p.Article

On accessibility and normal accessibility: the openness of controllability in the fine C° topologyGRASSE, K. A.Journal of differential equations (Print). 1984, Vol 53, Num 3, pp 387-414, issn 0022-0396Article

On the reachability in any fixed time for positive continuous-time linear systemsCOMMAULT, Christian; ALAMIR, Mazen.Systems & control letters. 2007, Vol 56, Num 4, pp 272-276, issn 0167-6911, 5 p.Article

Polynomial control systemsJURDJEVIC, V; KUPKA, I.Mathematische Annalen. 1985, Vol 272, Num 3, pp 361-368, issn 0025-5831Article

Global reachability results for systems with constrained controllersSCHMITENDORF, W. E; HWANG, W. G.Journal of optimization theory and applications. 1985, Vol 46, Num 4, pp 581-590, issn 0022-3239Article

Asymptote d'ellipsoïdes approchant les domaines d'accessibilitéKLEPFISH, B. R; OVSEEVICH, A. I.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1984, Num 2, pp 66-69, issn 0002-3388Article

Complete symbolic reachability analysis using back-and-forth narrowingTHATI, Prasanna; MESEGUER, José.Theoretical computer science. 2006, Vol 366, Num 1-2, pp 163-179, issn 0304-3975, 17 p.Conference Paper

Necessary and sufficient condition for global controllability of planar affine nonlinear systemsYIMIN SUN.IEEE transactions on automatic control. 2007, Vol 52, Num 8, pp 1454-1460, issn 0018-9286, 7 p.Article

A new approach to state bounding for linear time-varying systems with delay and bounded disturbancesLE VAN HIEN; HIEU MINH TRINH.Automatica (Oxford). 2014, Vol 50, Num 6, pp 1735-1738, issn 0005-1098, 4 p.Article

Reachability of linear switched systems : Differential geometric approachPETRECZKY, Mihaly.Systems & control letters. 2006, Vol 55, Num 2, pp 112-118, issn 0167-6911, 7 p.Article

Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systemsKAYNAMA, Shahab; OISHI, Meeko.International journal of control. 2011, Vol 84, Num 1-3, pp 165-179, issn 0020-7179, 15 p.Article

Reachable set of operators on controlled open quantum systems in a Markovian environmentHAIDONG YUAN.Systems & control letters. 2012, Vol 61, Num 11, pp 1085-1088, issn 0167-6911, 4 p.Article

Interconvertibility of a class of set constraints and context-free-language reachabilityMELSKI, David; REPS, Thomas.Theoretical computer science. 2000, Vol 248, Num 1-2, pp 29-98, issn 0304-3975Article

Decidability of a class of dual communicating finite state machinesMOUNTASSIR, H.Operating systems review. 1996, Vol 30, Num 3, pp 59-66, issn 0163-5980Article

Straight line reachability of Roesser modelKACZOREK, T.IEEE transactions on automatic control. 1987, Vol 32, Num 7, pp 637-639, issn 0018-9286Article

Reachable set bounding for delayed systems with polytopic uncertainties: The maximal Lyapunov-Krasovskii functional approachZHIQIANG ZUO; HO, Daniel W. C; YIJING WANG et al.Automatica (Oxford). 2010, Vol 46, Num 5, pp 949-952, issn 0005-1098, 4 p.Article